Nuprl Lemma : assert_of_eq_int_rw
12,41
postcript
pdf
x
,
y
:
. {(
(
x
=
y
))
(
x
=
y
)}
latex
ProofTree
Definitions
{
T
}
Lemmas
assert
of
eq
int
origin
x, y:
. {(
(x =
y)) 
(x = y)}
x, y:. {((x = y)) (x = y)}